lambda switching

λ 交换